Programming language syntax - PDFSEARCH.IO - Document Search Engine

Programming language syntax
Results: 492

#	Item
31	Playing with bird guts Jonathan Worthington YAPC::EU::2007 Playing with bird guts Add to Reading List Source URL: jnthn.net Language: English - Date: 2014-10-21 09:51:17 Compiling tools Compiler construction Parser generators Programming language implementation Perl Parrot virtual machine Parsing International Mayor Communication Centre Lexical analysis Yacc Syntax Compiler
32	Using Moose to build an Object Oriented Application What is Moose ? The goal of Moose is to increase programmer productivity by providing “proper” OO syntax Add to Reading List Source URL: miltonkeynes.pm.org Language: English - Date: 2016-02-03 15:58:00 Computer programming Software engineering Moose Computing Object-oriented programming Object Functional programming Immutable object This Method Joose Perl language structure
33	SECURITY The Bugs We Have to Kill S E R G E Y B R AT U S , M E R E D I T H L . PAT T E R S O N , A N D A N N A S H U B I N A Add to Reading List Source URL: langsec.org Language: English - Date: 2016-03-02 17:44:56 Software engineering Software Computer programming Compiler construction Parsing Formal languages Parser combinator Syntax Computability Compiler-compiler Compiler Domain-specific language
34	Recent Developments in ΩMEGA’s Proof Search Programming Language Serge Autexier Dominik Dietrich Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-03 11:10:40 Logic Proof theory Formal systems Logical truth Syntax Proof assistants Mathematical proof Logic programming Sequent KeY Rule of inference Inference
35	The Habit Programming Language: The Revised Preliminary Report The High Assurance Systems Programming Project (Hasp) Department of Computer Science, Portland State University Portland, Oregon 97207, USA November 2010 Add to Reading List Source URL: hasp.cs.pdx.edu Language: English - Date: 2011-02-16 17:13:08 Functional languages Functional programming Data types Type theory Procedural programming languages Haskell Syntax Monad Type system ML Programming language Type class
36	DSL PLATFORMS DSL SUMMER SCHOOL 2015 TIARK ROMPF, PURDUE UNIVERSITY DSL Add to Reading List Source URL: vjovanov.github.io Language: English - Date: 2016-01-20 12:01:38 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Functional languages Programming language implementation Generalized algebraic data type Syntax Domain-specific language Haskell
37	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-06-03 10:17:56 Type theory Logic in computer science Lambda calculus Dependently typed programming Subroutines Combinatory logic Higher-order abstract syntax Twelf Dependent type Parameter Logical framework Fixed-point combinator
38	TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2013-03-05 23:54:33 Logic in computer science Programming language semantics Programming language implementation Compiler construction Formal methods Abstract interpretation Semantics Static program analysis Syntax GrammaTech Denotational semantics Compiler
39	DEPARTMENT OF COMPUTER SCIENCE A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Christopher Graham Seaton Add to Reading List Source URL: chrisseaton.com Language: English - Date: 2016-02-28 16:25:13 Software Computing Parsing algorithms Compiler construction Formal languages Parser generators Parsing Compiler-compiler Syntax Programming language Compiler Yacc
40	Katahdin A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Chris Seaton Traditional Development Tools Add to Reading List Source URL: chrisseaton.com Language: English - Date: 2016-02-28 16:25:13 Software engineering Computing Computer programming Compiler construction Formal languages Procedural programming languages Programming language implementation Parsing algorithms Compiler-compiler Parsing Compiler Syntax